Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
891	ON THE RIGOROUS DERIVATION OF THE 2D CUBIC NONLINEAR ¨ SCHRODINGER EQUATION FROM 3D QUANTUM MANY-BODY DYNAMICS XUWEN CHEN AND JUSTIN HOLMER Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2012-12-10 20:05:48 Mathematics Proof theory Constructible universe Mathematical logic Ordinal numbers
892	Mathematical Reviews Reviewer Proof Run[removed]:[removed]MR2549804 (99a:[removed] Add to Reading List Source URL: www.dima.unige.it Language: English - Date: 2010-06-14 14:37:43 Algebraic curve Algebraic surface Projective geometry Projective space Algebraic variety Curve Italian school of algebraic geometry Luis Santaló Geometry Algebraic geometry Birational geometry
893	arXiv:0905.1680v1 [math.HO] 11 May[removed]IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theo Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-05-11 20:18:44 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory
894	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
895	CONTRIBUTIONS TO A SCIENCE OF CONTEMPORARY MATHEMATICS FRANK QUINN Abstract. This essay provides a description of modern mathematical practice, with emphasis on differences between this and practices in the nineteenth ce Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2011-10-04 15:47:03 Mathematical practice Science Areas of mathematics Mathematical object Applied mathematics Logic Quasi-empiricism in mathematics Future of mathematics Mathematics Philosophy of mathematics Mathematical proof
896	Another Look at Provable Security Alfred Menezes (joint work with Sanjit Chatterjee, Neal Koblitz, Palash Sarkar) EUROCRYPT 2012 –1 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2012-04-20 14:09:49 Mathematics Mathematical proof Provable Adversary Science Cryptography Provable security Knowledge
897	Physics and the Integers David Tong Trinity Maths Society, 2010 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2010-10-28 11:13:19 Ludwig Boltzmann Ernst Mach Max Planck Leopold Kronecker Matter Mathematics Mathematical proof Physics Science Knowledge
898	283_2009_9063_Article 1..6 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-06-24 09:42:45 Number theorists Atle Selberg Norwegian Academy of Science and Letters Elementary proof Prime number theorem Riemann zeta function Riemann hypothesis Probabilistic method Number theory Mathematics Analytic number theory Mathematical proofs
899	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
900	Math 222: Introduction to Abstract Mathematics Professor: Joan E. Hart 120 Swart[removed] Add to Reading List Source URL: www.uwosh.edu Language: English - Date: 2014-05-22 14:12:29 Algebra Number TI-89 series Mathematical proof IB Group 5 subjects Mathematics Programmable calculators Mathematical logic

UPDATE